sqrt(25-x^2-y^2)